241. Location privacy in mobile applications /
Author: Bo Liu, Wanlei Zhou, Tianqing Zhu, Yong Xiang, Kun Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Location-based services.,Mobile apps-- Security measures.,Computer security.,COMPUTERS-- Programming-- Mobile Devices.,Location-based services.,Mobile & handheld device programming-- Apps programming.,Privacy & data protection.
Classification :
QA76
.
59
242. Logic-based program synthesis and transformation :
Author: Fred Mesnard, Peter J. Stuckey (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
Classification :
QA76
.
63
243. Logic program synthesis and transformation :
Author: publ. in collab. with the British Computer Society. Yves Deville (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logische Programmierung,Softwareentwicklung,Systemtransformation
244. Logic program synthesis and transformation - meta-programming in logic :
Author: Laurent Fribourg, Franco Turini (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
245. Logic programming '88 :
Author: K. Furukawa, H. Tanaka, T. Fujisaki (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming-- Congresses.
Classification :
QA76
.
63
.
L63
1989
246. Logical foundations for cognitive agents :
Author: Hector J. Levesque, Fiora Pirri (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer logic.,Intelligent agents (Computer software)
Classification :
QA76
.
9
.
L63
H438
1999
247. Logics in artificial intelligence :
Author: José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Artificial intelligence.,Computer science -- Congresses.
248. Logics of Programs :
Author: by E. Clarke, D. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
249. MICAI 2002 :
Author: Carlos A. Coello Coello [and others], (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Artificial intelligence.
250. Machine learning :
Author: Y. Kodratoff (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
251. Mastering machine learning with Python in six steps :
Author: Manohar Swamynathan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine learning.,Python (Computer program language),Machine learning.,Python (Computer program language)
Classification :
QA76
.
73
.
P98
252. Mathematical Foundations of Computer Science 1986 :
Author: edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA267
.
E358
1986
253. Mathematical Foundations of Computer Science 1976 :
Author: edited by Antoni Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Computers.
Classification :
QA267
.
3
E358
1976
254. Mathematical Foundations of Computer Science 1989 :
Author: edited by Antoni Kreczmar, Grazyna Mirkowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1989
255. Mathematical Programming for Power Systems Operation with Applications in Python
Author: Alejandro Garces Ruiz.,Ruiz, Alejandro Garces,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electric Power systems,Python (Computer program language),-- Mathematical models,a04,a07,Convex programming.
Classification :
TK1005
.
G37
2021
256. Mathematical foundations of computer science 2003 :
Author: Krzysztof Diks and Wojciech Rytter (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
257. Mathematics in Industrial Problems
Author: by Avner Friedman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
258. Mechanical design failure analysis : with failure analysis system software for the ibm pc
Author: Ullman, David G.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Machinery -- Design -- Data processing , Structural failures -- Data processing , Failure analysis system )Computer system( , IBM Personal computer -- Programming
Classification :
TJ
233
.
U45
259. Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen :
Author: herausgegeben von B. Walke, O. Spaniol.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Computer system performance.
Classification :
QA76
.
9
.
E94
H473
1993
260. Metaheuristics :
Author: edited by Karl F. Doerner [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical optimization.,System analysis-- Mathematics.,Affaires.,Economie de l'entreprise.,Heuristiek.,Komplexes System,Mathematical optimization.,Mathematical optimization.,Optimaliseren.,Optimierung,Science économique.,SCIENCE-- System Theory.,System analysis-- Mathematics.,TECHNOLOGY & ENGINEERING-- Operations Research.
Classification :
QA402
.
M474
2007eb
